#ifndef __I386_KERNEL_PRINTF_H__
#define __I386_KERNEL_PRINTF_H__

#include "common/code32gcc.h"


int vsprintf(char *buf, const char *fmt, va_list args);

int sprintf(char *buf, const char *fmt, ...);

int printf(const char *fmt, ...);

#endif  // __I386_KERNEL_PRINTF_H__
